 | Este artigo não cita fontes confiáveis. (Agosto de 2021) |
Em álgebra abstrata, o monoide livre sobre um conjunto A é o monoide cujos elementos são todas as strings (ou sequências de caracteres) finitas formadas por zero ou mais elementos de A. Ele é normalmente denotado por A∗. O elemento de identidade é a única sequência com zero elementos, muitas vezes chamada de string vazia e denotada por ε ou λ, e a operação do monoide é a concatenação de strings. O semigrupo livre em A é o subsemigrupo de A∗ contendo todos os elementos exceto a string vazia. Ele é denotado geralmente por A+.